$\forall$$r$, $s$:$\mathbb{N}^{+}$. CoPrime($r$,$s$) $\Rightarrow$ ($\forall$$a$, $b$:$\mathbb{Z}$. $\exists$$x$:$\mathbb{Z}$. ($x$ = $a$ mod $r$) \& ($x$ = $b$ mod $s$))